$\forall$${\it es}$:ES, $e$, ${\it e'}$, ${\it ev}$:E. (${\it ev}$ $\in$ [$e$, ${\it e'}$]) $\Leftrightarrow$ $e$ $\leq$ ${\it ev}$  \& ${\it ev}$ $\leq$ ${\it e'}$